From Turner's Logic of Universal Causation to the Logic of GK

Logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To date, it has been used to embed in it default logic, autoepistemic logic, and general logic programming under stable model semantics. Besides showing the generality of GK as a logic for nonmonotonic reasoning, these embeddings shed light on the relationships among these other logics. Along this line, we show that Turner’s logic of universal causation can be naturally embedded into logic of GK as well.